Theorem isIrreducible_irreducibleComponent

Modification history