OAI/NumberTheory/Ostmann/Characters/TemplateAmplitudeRecurrenceWindowsBins.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Characters.Template.canonical_weightSupport_words line 15
2. theorem OAI.Ostmann.Characters.Template.retainedHistoryWeight_active_words line 40
3. theorem OAI.Ostmann.Characters.Template.retainedHistoryWeight_source_word_bin line 54
4. theorem OAI.Ostmann.Characters.Template.retainedHistoryWeight_source_word_log line 64
5. theorem OAI.Ostmann.Characters.Template.retainedHistoryWeight_source_copied_word_bin line 73