Theorem Ordnode.Valid'.of_gt

Modification history