OAI/Combinatorics/MatchingPSD/AffineSums.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.AffinePSD.affine_sum_memline 10 - lemma
OAI.AffinePSD.affine_sum_applyline 17
OAI/Combinatorics/MatchingPSD/AffineSums.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.AffinePSD.affine_sum_mem line 10OAI.AffinePSD.affine_sum_apply line 17