OAI/Combinatorics/MatchingPSD/AffineFactorization.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectMatchingPSD.affineLift_hasFactorization line 13
2. lemma OAI.PerfectMatchingPSD.factorization_order_pos line 42