Theorem MonoidWithZero.inverse_apply

Modification history