mathlib
58d83ed5 - feat(tactic/lint/misc): adding a linter that flags iffs with explicit variables on both sides (#11606)

Commit
3 years ago
feat(tactic/lint/misc): adding a linter that flags iffs with explicit variables on both sides (#11606)
Author
Parents
Loading