Theorem StarAlgebra.elemental.isClosedEmbedding_coe

Modification history