Theorem Cardinal.nat_lt_ofENat

Modification history