Theorem Quiver.Push.lift_obj

Modification history