Theorem TopCat.GlueData.eqvGen_of_π_eq

Modification history