Def Mathlib.Tactic.SolveByElim.Config.requireUsingAll

Modification history

2024-01-05 01:23

Mathlib/Tactic/SolveByElim.lean

chore: bump std4 dependency (#9426) …

Deleted Mathlib.Tactic.SolveByElim.Config.requireUsingAll View on Github →

2023-01-09 15:05

Mathlib/Tactic/SolveByElim.lean

feat: refactor of solve_by_elim (#856) …

Added Mathlib.Tactic.SolveByElim.Config.requireUsingAll View on Github →