Commit 2023-11-11 09:59 546faa6e

View on Github →

feat: lemmas about Bool.toNat (#8328)

Estimated changes

added theorem Bool.toNat_beq_one
added theorem Bool.toNat_beq_zero
added theorem Bool.toNat_bne_one
added theorem Bool.toNat_bne_zero
added theorem Bool.toNat_false
added theorem Bool.toNat_le_one
added theorem Bool.toNat_true