Theorem acc_liftOn₂'_iff

Modification history