Theorem TrivSqZeroExt.inl_zero

Modification history