Theorem CategoryTheory.Limits.pullback.lift_fst

Modification history