Mathlib Changelog
v4
Changelog
About
Github
Structure
ValuedCSP.Term
Modification history
2024-01-13 09:55
Mathlib/Combinatorics/Optimization/ValuedCSP.lean
chore(ValuedCSP): rename `ValuedCsp` to `ValuedCSP` (#9701)
Added
ValuedCSP.Term
View on Github →