Theorem CategoryTheory.Limits.Trident.ι_ofι

Modification history