Theorem CategoryTheory.Limits.pushout.mapLift_comp

Modification history