Theorem CategoryTheory.Functor.congr_map

Modification history