Theorem CategoryTheory.GlueData.ι_jointly_surjective

Modification history