Theorem CategoryTheory.Functor.map_units_smul

Modification history