Mathlib v3 is deprecated. Go to Mathlib v4

Theorem foo.bar

Modification history

2020-02-04 12:42

feat(tactic/lint): Three new linters, update illegal_constants (#1947) …

Added foo.bar View on Github →