Theorem CategoryTheory.Functor.map_distinguished_exact

Modification history