Theorem inner_self_nonneg

Modification history