Theorem MulAut.inv_apply_self

Modification history