Theorem CategoryTheory.Limits.Concrete.Pi.map_ext

Modification history