Theorem ringChar.eq

Modification history