Theorem TrivSqZeroExt.linearMap_ext

Modification history