Theorem alias2

Modification history

2023-08-23 04:19

Mathlib/Tactic/Alias.lean

feat: patch for new alias command (#6172)

Deleted alias2 View on Github →

2022-06-30 08:11

Mathlib/Tactic/Alias.lean

feat: port the 'alias' command (#293) …

Added alias2 View on Github →