Mathlib Changelog
v4
Changelog
About
Github
Def
Tactic.Elementwise.elementwiseThms
Modification history
2023-03-16 04:49
Mathlib/Tactic/Elementwise.lean
feat: port `@[elementwise]` attribute (#2882) …
Added
Tactic.Elementwise.elementwiseThms
View on Github →