Theorem TrivSqZeroExt.embedding_inr

Modification history