Theorem Int.ofNat_bit0

Modification history