Theorem CategoryTheory.Over.isPullback_of_binaryFan_isLimit

Modification history