Theorem CategoryTheory.MonoOver.top_arrow

Modification history