Def ValuedCSP.Instance.IsOptimumSolution

Modification history

2024-01-13 09:55
Mathlib/Combinatorics/Optimization/ValuedCSP.lean
chore(ValuedCSP): rename `ValuedCsp` to `ValuedCSP` (#9701)
Added ValuedCSP.Instance.IsOptimumSolutionView on Github →