Theorem TopCat.GlueData.ι_eq_iff_rel

Modification history