Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-01 02:30 1191b4d3

View on Github →

feat(tactic/alias): support biconditional aliases

Estimated changes

Modified tactic/alias.lean

deleted def alias_attr

added def tactic.alias.alias_attr