Theorem TrivSqZeroExt.embedding_inl

Modification history