Theorem CategoryTheory.Limits.PreservesPullback.iso_inv_snd

Modification history