Theorem CategoryTheory.IsPullback.zero_top

Modification history