Def Mathlib.Tactic.Ext.mkAndN

Modification history

2022-09-08 18:38
Mathlib/Tactic/Ext.lean
chore: bump std4 09-08 (#403) …
Deleted Mathlib.Tactic.Ext.mkAndNView on Github →
2021-10-18 09:49
Mathlib/Tactic/Ext.lean
feat: ext tactic (#73) …
Added Mathlib.Tactic.Ext.mkAndNView on Github →