Mathlib v3 is deprecated. Go to Mathlib v4

Theorem hd_rev

Modification history

2019-08-16 00:19

test/finish4.lean

feat(tactic/finish): parse ematch lemmas with `finish using ...` (#1326) …

Added hd_rev View on Github →