Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-01 00:53 fb21c1ae

View on Github →

feat(tactic/alias): alias command

Estimated changes

added def alias_attr