Theorem norm_eq_iInf_iff_real_inner_le_zero

Modification history