Def irreducibleComponents

Modification history