This topic was moved to #Equations devs & users > Coq equation's equivalent of Set Program Cases by Karl Palmskog.
Set Program Cases
Last updated: Mar 28 2024 at 16:02 UTC