OAI/Combinatorics/MatchingPSD/AffineModel.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectMatchingPSD.matchingPoint line 8

   Also declared: ComparatorChallenges/MatchingAffineLift.lean:15 (same declaration text).

2. def OAI.PerfectMatchingPSD.matchingPolytope line 12

   Also declared: ComparatorChallenges/MatchingAffineLift.lean:19 (same declaration text).

3. def OAI.PerfectMatchingPSD.HasAffineLift line 15

   Also declared: ComparatorChallenges/MatchingAffineLift.lean:22 (same declaration text).