Theorem Bool.toNat_beq_one

Modification history