Theorem Ordnode.all_iff_forall

Modification history