Theorem eq_irreducibleComponent

Modification history