Theorem inner_self_ofReal_re

Modification history