Theorem Cardinal.toNat_pos

Modification history