Theorem TrivSqZeroExt.inr_zero

Modification history