Theorem Cardinal.toNat_congr

Modification history