Theorem elementalStarAlgebra.closedEmbedding_coe

Modification history