IndisputableMonolith.NumberTheory.VectorCSymmetryOnlyNoGo

declarations in this module (12)

• def toyXi L30
• theorem toyXi_reflection L33
• theorem toyXi_conjugation L38
• def toyCompletedXiSurface L47
• theorem toyCompletedXiSurface_has_off_critical_zero L53
• theorem completedXiSurface_symmetry_only_no_go L62
• theorem zeroDeviationSet_neg_closed_not_enough L70
• structure PureVectorCDoublingData L104
• theorem pureVectorCDoublingData_of_zero L114
• theorem pureVectorCDoublingData_offline_example L123
• theorem pureVectorCDoublingData_requires_extra_input L139
• theorem pureVectorCDoublingData_not_enough_for_critical_line L149