Mario Román
Search
Search Icon
Icon to open search
Right adjoint to oplax is lax
Last updated Feb 3, 2024