Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Expr.coeTypeSet?
Modification history
2023-11-24 03:30
Mathlib/Lean/Expr/ExtraRecognizers.lean
feat: analysis delaborator for `LinearIndependent` (#8602) …
Added
Lean.Expr.coeTypeSet?
View on Github →