Theorem CategoryTheory.Limits.Over.isPullback_of_binaryFan_isLimit

Modification history