Skip to content

rename lemmas for classical reasoning to avoid clash with fintype

b16ec63
Select commit
Loading
Failed to load commit list.
Merged

rename lemmas for classical reasoning to avoid clash with fintype #219

rename lemmas for classical reasoning to avoid clash with fintype
b16ec63
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs