Theorem CategoryTheory.Functor.monotone

Modification history