Theorem PLift.eq_up_iff_down_eq

Modification history