Mario Román
Search
Search Icon
Icon to open search
properties of normal weakening
Last updated Jun 3, 2024
Tags:
normal monoidal multicategory
.