mathlib
c46015dd - Attempt to build a fintype/decidable linter...

Commit

5 years ago

Attempt to build a fintype/decidable linter...

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading