Theorem Cardinal.zero_lt_lift_iff

Modification history