Mario Román
Search
Search Icon
Icon to open search
Strict monoidal categories and coherence
Last updated Oct 3, 2022