Theorem CategoryTheory.Limits.PushoutCocone.unop_fst

Modification history