Package bool-true-axiom: Definition and assertion about the boolean true constant

Information

namebool-true-axiom
version1.0
descriptionDefinition and assertion about the boolean true constant
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
checksum3d07b1f4d34411b476b1ddaabdd5cbc69f0732c1
showData.Bool

Files

Defined Constant

Axiom

(λa. ) = λb. b

Theorems

(λa. ) = λb. b

(λp. p) = λp. p

External Type Operators

External Constant