Theorem CategoryTheory.Limits.Cofork.π_precompose

Modification history