Theorem irreducibleSpace_def

Modification history