Theorem TopCat.Presheaf.compatible_iff_leftRes_eq_rightRes

Modification history