Package bool-true-assert: Assertion about the boolean true constant

Information

namebool-true-assert
version1.0
descriptionAssertion about the boolean true constant
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
checksumbf6a0857f59a61a9f4c864b3fffa141307a2c75b
showData.Bool

Files

Theorem

(λa. ) = λb. b

External Type Operators

External Constants

Assumption

(λa. ) = λb. b