Mathlib v3 is deprecated. Go to Mathlib v4

Def this_is_unused

Modification history

2020-08-13 19:36

test/find_unused_decl1.lean

feat(tactic/find_unused): find the dead code in a module (#3701)

Added this_is_unused View on Github →