Theorem CategoryTheory.Functor.map_conjAut

Modification history