OAI/Computability/MaxCut/Encoding/AffineWitnessFirstBit.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.MaxCutGames.Inverse.AffineWitness.first_bit_witnessline 9
OAI/Computability/MaxCut/Encoding/AffineWitnessFirstBit.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.MaxCutGames.Inverse.AffineWitness.first_bit_witness line 9