Skip to content

Fix to make type Set in type parameters explicit in term abbreviations#204

Merged
fblanqui merged 7 commits into
Deducteam:mainfrom
navimath:myfix
Jun 29, 2026
Merged

Fix to make type Set in type parameters explicit in term abbreviations#204
fblanqui merged 7 commits into
Deducteam:mainfrom
navimath:myfix

indent

7974beb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ci (3.20.2, 5.3.0, 8.03.06, 3.1.0, 37af947, master, 2.7, 9.0.0)
succeeded Jun 29, 2026 in 28m 57s