Mathlib v3 is deprecated. Go to Mathlib v4

Structure bar

Modification history

2020-04-07 06:44

test/refine_struct.lean

fix(tactic/refine_struct): don't add unnecessary `eq.mpr` or `id` (#2319) …

Added bar View on Github →