Theorem acc_lift₂_iff

Modification history