Theorem DenseInducing.extend_eq_of_tendsto

Modification history