Theorem DenseEmbedding.to_embedding

Modification history