Theorem CategoryTheory.Functor.functorPushforward_equalizer_mem

Modification history