Theorem MulChar.apply_mem_algebraAdjoin

Modification history