Theorem CategoryTheory.Functor.map_comp_hEq'

Modification history