OAI/NumberTheory/Ostmann/Construction/ReorderNaturalityReinsertMap.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.Construction.exists_map_of_nodup_length line 9
2. theorem OAI.Ostmann.Construction.Template.reinsert_map line 21
3. theorem OAI.Ostmann.Construction.Template.exists_reinsert_common_map line 44