Skip to content

feat: make coeFun delaborator respect pp.tagAppFns#6729

Open
kmill wants to merge 1 commit intoleanprover:masterfrom kmill:tagappfn_coefn
+7-3

Commits

Commits on Jan 21, 2025