Theorem Cardinal.toENat_nat

Modification history