Structure Mathlib.Tactic.Push.Config

Modification history

2025-12-05 13:19
Mathlib/Tactic/Push.lean
feat(push_neg): `push_neg +distrib` syntax (#31406) …
Added Mathlib.Tactic.Push.ConfigView on Github →