Theorem CategoryTheory.Limits.WalkingParallelPairHom.comp_id

Modification history