Theorem CategoryTheory.Limits.mono_of_isLimit_parallelFamily

Modification history