Theorem DenseInducing.extend_unique_at

Modification history