Theorem inner_self_conj

Modification history