Def MulSemiringActionHom.inverse'

Modification history