Package bool-true-thm: Properties of the Boolean true constant

Information

namebool-true-thm
version1.0
descriptionProperties of the Boolean true constant
authorJoe Leslie-Hurd <joe@gilith.com>
licenseMIT
checksumd5541a0bb804f0eb252d32cbf6823b5917041461
requiresbool-true-def
showData.Bool

Files

Theorem

External Type Operators

External Constants

Assumption

(λp. p) = λp. p