Theorem CategoryTheory.Functor.preimage_map

Modification history