Theorem normalOfCompactT2

Modification history