Mathlib v3 is deprecated. Go to Mathlib v4

Def dangerous_instance_test

Modification history

2020-03-07 02:22

feat(lint): add two new linters (#2089) …

Added dangerous_instance_test View on Github →