Theorem Dense.eq_of_inner_left

Modification history