Structure MonoidWithZeroHom

Modification history