Skip to content

removes a usage of the subst tactic, relying on idiomatic ssreflect#1

Open
ybertot wants to merge 4 commits into
mituharu:solve_Qint_spanfrom
ybertot:solve_Qint_span
Open

removes a usage of the subst tactic, relying on idiomatic ssreflect#1
ybertot wants to merge 4 commits into
mituharu:solve_Qint_spanfrom
ybertot:solve_Qint_span

space twiddling

a9b068b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs