Mathlib v3 is deprecated. Go to Mathlib v4

Def incorrect_type_class_argument_test

Modification history

2020-02-04 12:42

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

Added incorrect_type_class_argument_test View on Github →