Multiplication of the normalization monad

Last updated Sep 8, 2023

Tags: produoidal normalization.