Theorem TrivSqZeroExt.lift_def

Modification history