Theorem CategoryTheory.Abelian.monoLift_comp

Modification history