Theorem AddAut.conj_apply

Modification history