Theorem Cardinal.out_lift_equiv

Modification history