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 →