Mathlib v3 is deprecated. Go to Mathlib v4

Structure A

Modification history

2018-08-28 19:38

tests/restate_axiom.lean

fix(tactic/restate_axiom): change default naming in restate_axiom (#286) …

Added A View on Github →