Mathlib Changelog
v4
Changelog
About
Github
Def
Tactic.Alias.mkIffMpApp
Modification history
2023-08-23 04:19
Mathlib/Tactic/Alias.lean
feat: patch for new alias command (#6172)
Deleted
Tactic.Alias.mkIffMpApp
View on Github →
2022-12-15 19:18
Mathlib/Tactic/Alias.lean
fix: alias uses type of lemma (#1058) …
Modified
Tactic.Alias.mkIffMpApp
View on Github →
2022-06-30 08:11
Mathlib/Tactic/Alias.lean
feat: port the 'alias' command (#293) …
Added
Tactic.Alias.mkIffMpApp
View on Github →