Theorem DenseInducing.extend_eq_at

Modification history