This topic was moved by Théo Zimmermann to #Equations devs & users > Equations in an abstract setting
Last updated: Oct 01 2023 at 18:01 UTC