Theorem Subtype.preirreducibleSpace

Modification history