Theorem inner_mul_inner_self_le

Modification history