Theorem Cardinal.zero_toNat

Modification history