Theorem Bool.toNat_bne_one

Modification history