Theorem CategoryTheory.Functor.map_preimage

Modification history