Def hasSimpAttribute

Modification history

2025-09-25 02:45

Mathlib/Tactic/Simps/Basic.lean

feat(simps): allow adding arbitrary attributes (#29911) …

Modified hasSimpAttribute View on Github →

2022-10-23 12:09

Mathlib/Tactic/Simps/Basic.lean

feat: port simps (#445) …

Added hasSimpAttribute View on Github →