Theorem Ordnode.Bounded.mono_left

Modification history