Theorem MulChar.inv_apply'

Modification history