[ refactor ] make n≢i : n ≢ toℕ i argument to lower₁ irrelevant#2783
Closed
jamesmckinna wants to merge 8 commits into
Closed
[ refactor ] make n≢i : n ≢ toℕ i argument to lower₁ irrelevant#2783jamesmckinna wants to merge 8 commits into
n≢i : n ≢ toℕ i argument to lower₁ irrelevant#2783jamesmckinna wants to merge 8 commits into
The logs for this run have expired and are no longer available.
Loading