Theorem Lists.equiv_atom

Modification history