Theorem CategoryTheory.Quotient.lift_map_functor_map

Modification history