Theorem Dense.eq_zero_of_mem_orthogonal

Modification history