Theorem TrivSqZeroExt.inl_pow

Modification history