Theorem Absorbent.zero_mem'

Modification history