Theorem CategoryTheory.MonoOver.factors_congr

Modification history