Mathlib v3 is deprecated. Go to Mathlib v4

Def my_id

Modification history

2021-04-07 06:34
test/monotonicity/test_cases.lean
feat(tactic/monotonicity): Allow `@[mono]` on `strict_mono` lemmas (#7017) …
Added my_idView on Github →
2017-07-23 15:16
tools/tactic/examples.lean
refactor(*): import content from lean/library/data and library_dev
Added my_idView on Github →