Theorem CategoryTheory.Limits.Fork.ι_ofι

Modification history