Def Mathlib.Tactic.ITauto.AndKind.sides

Modification history

2024-06-12 18:41

Mathlib/Tactic/ITauto.lean

feat: port `itauto` from lean 3 (#9398) …

Added Mathlib.Tactic.ITauto.AndKind.sides View on Github →