OAI/NumberTheory/DirichletL/Reflection/SupportedChoices.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.InverseReflectedPhase.supportedSlotChoices line 12
2. instance OAI.SevenEighths.InverseReflectedPhase.supportedSlotChoices_fintype line 15
3. def OAI.SevenEighths.InverseReflectedPhase.supportedSlotSplit line 18
4. theorem OAI.SevenEighths.InverseReflectedPhase.sum_supported_slot_choices line 36