Theorem Absorbent.zero_mem

Modification history