name: axiom-extensionality version: 1.9 description: Axiom of Extensionality author: Joe Leslie-Hurd license: MIT provenance: HOL Light theory extracted on 2014-10-30 requires: bool-def show: "Data.Bool" main { article: "axiom-extensionality.art" }