Theorem CategoryTheory.Functor.map_conj

Modification history