Commit 2022-03-16 19:39 c6804db2

View on Github →

feat: restate_axiom (#228)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Mathport/Syntax.lean

Created Mathlib/Tactic/RestateAxiom.lean

Created test/restate_axiom.lean

added structure A