Mathlib v3 is deprecated. Go to Mathlib v4

Def string_hash

Modification history

2019-12-18 06:01
src/tactic/localized.lean
feat(*): add command for declaring library notes (#1810) …
Deleted string_hashView on Github →
2019-07-11 18:24
src/tactic/localized.lean
feat(tactic/localized): localized notation (#1081) …
Added string_hashView on Github →