Def CategoryTheory.Limits.PullbackCone.pasteVertFlip

Modification history