Theorem CategoryTheory.Functor.map_homCongr

Modification history