Theorem Language.mem_pow

Modification history