Def CategoryTheory.Limits.PushoutCocone.opUnop

Modification history