Theorem norm_eq_iInf_iff_inner_eq_zero

Modification history