Mathlib v3 is deprecated. Go to Mathlib v4

Def alias_attr

Modification history

2017-08-01 02:30

tactic/alias.lean

feat(tactic/alias): support biconditional aliases

Deleted alias_attr View on Github →

2017-08-01 00:53

tactic/alias.lean

feat(tactic/alias): alias command

Added alias_attr View on Github →