Theorem Algebra.elemental.isClosedEmbedding_coe

Modification history