Theorem CategoryTheory.IsPullback.of_is_bilimit'

Modification history