Theorem CategoryTheory.GlueData.t'_comp_eq_pullbackSymmetry

Modification history