Theorem mem_irreducibleComponent

Modification history