Theorem Cardinal.lift_le_ofENat

Modification history