Def Simps.nsmulArgs

Modification history

2024-08-19 13:15
Mathlib/Tactic/Simps/NotationClass.lean
chore: replace last uses of `lambda` instead of `fun` (#15973) …
Modified Simps.nsmulArgsView on Github →
2023-06-12 01:02
Mathlib/Tactic/Simps/NotationClass.lean
chore: formatting issues (#4947)
Added Simps.nsmulArgsView on Github →