Theorem CategoryTheory.Functor.Final.zigzag_of_eqvGen_quot_rel

Modification history