Theorem inner_self_ne_zero

Modification history