Def FractionalOperation.size

Modification history

2024-12-09 11:16

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

refactor: unbundle `Multiset.card` (#19777) …

Modified FractionalOperation.size View on Github →

2024-02-26 22:59

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

feat: fractional polymorphisms for VCSP (#7894)

Added FractionalOperation.size View on Github →