Theorem Ordnode.Valid'.mono_left

Modification history