Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-29 20:12 00aaf05a

View on Github →

refactor(tactic/interactive): remove dependencies of (#878) tactic/interactive on many theories

Estimated changes

modified theorem list.nil_subperm