Theorem CategoryTheory.Limits.Fork.ι_postcompose

Modification history