Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inst.spell'

Modification history

2020-04-24 01:03
test/simp_command.lean
feat(cmd/simp): let `#simp` use declared `variables` (#2478) …
Added inst.spell'View on Github →