OAI/Combinatorics/SnakyCertificate/Summaries.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SnakyCertificate.Check.cache_summary_557 line 7
2. theorem OAI.SnakyCertificate.Check.cache_omits_557 line 13
3. theorem OAI.SnakyCertificate.Check.cache_summary_595 line 16
4. theorem OAI.SnakyCertificate.Check.cache_omits_595 line 22
5. theorem OAI.SnakyCertificate.Check.cache_summary_603 line 25
6. theorem OAI.SnakyCertificate.Check.cache_omits_603 line 31
7. theorem OAI.SnakyCertificate.Check.cache_summary_615 line 34
8. theorem OAI.SnakyCertificate.Check.cache_omits_615 line 40
9. theorem OAI.SnakyCertificate.Check.output_of_row_eq line 43