Theorem Cardinal.toNat_strictMonoOn

Modification history