Theorem Cardinal.toNat_mul

Modification history