Theorem cotTerm_identity

Modification history