Theorem TrivSqZeroExt.inl_one

Modification history