Def Mathlib.Tactic.Ext.withExtHyps

Modification history

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