Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.alias.alias_attr

Modification history

2017-08-02 16:21

tactic/alias.lean

fix(*): fix wrt changes in lean

Deleted tactic.alias.alias_attr View on Github →

2017-08-01 02:30

tactic/alias.lean

feat(tactic/alias): support biconditional aliases

Added tactic.alias.alias_attr View on Github →