Theorem CategoryTheory.Functor.postcomp_map_heq'

Modification history