Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-26 22:11
4a0fa672
View on Github →
feat: VCSP examples added (
#7893
)
Estimated changes
Created
test/ValuedCSP.lean
added
def
ValuedCSP.binaryTerm
added
def
ValuedCSP.unaryTerm