Symmetric normalization of a produoidal

Last updated Jan 14, 2023