Theorem TrivSqZeroExt.map_inl

Modification history