Theorem Cardinal.one_toNat

Modification history