Theorem Cardinal.toENat_ofENat

Modification history