Theorem DenseInducing.extend_eq_at'

Modification history