Theorem powers.one_mem

Modification history