A formal verification of the theory of parity complexes (Q5195261)
From MaRDI portal
scientific article; zbMATH DE number 7106497
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal verification of the theory of parity complexes |
scientific article; zbMATH DE number 7106497 |
Statements
18 September 2019
0 references
parity complex
0 references
omega-category
0 references
pasting diagram
0 references
excision of extremals
0 references
A formal verification of the theory of parity complexes (English)
0 references
