Skip to content

refactor: tighten proof style from Mathlib PR review feedback

0765cd0
Select commit
Loading
Failed to load commit list.
Open

refactor: tighten proof style from Mathlib PR review feedback #11

refactor: tighten proof style from Mathlib PR review feedback
0765cd0
Select commit
Loading
Failed to load commit list.