OAI/Combinatorics/MatchingCount/Sampling/FiniteSampler2.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.MatchingFPRAS.Transport.LongComponent.(instance at line 16) line 16
2. instance OAI.MatchingFPRAS.Transport.CellDemands.(instance at line 46) line 46
3. instance OAI.MatchingFPRAS.Transport.CellDemands.(instance at line 48) line 48
4. instance OAI.MatchingFPRAS.Transport.PatternCode.finiteSampler2PatternCodeFintype line 74