Mathlib Changelog
v4
Changelog
About
Github
Def
FBinopElab.elabBinOp
Modification history
2023-05-26 01:31
Mathlib/Tactic/FBinop.lean
feat: `fbinop%` term elaborator to support set product notation (#4308) …
Added
FBinopElab.elabBinOp
View on Github →