Theorem AddAut.inv_apply_self

Modification history