Theorem DenseInducing.closure_range

Modification history