Theorem CategoryTheory.Functor.map_isZero

Modification history