Def normalizationMonoidOfMonoidHomRightInverse

Modification history