Theorem Ordnode.equiv_iff

Modification history