Theorem realPart_ofReal

Modification history