Theorem Cardinal.lt_lift_iff

Modification history