Theorem Cardinal.ofENat_lt_lift

Modification history