Theorem IsAdjoinRoot.repr_zero_mem_span

Modification history