Theorem Cardinal.ofENat_nat

Modification history