Theorem Ordnode.Bounded.trans_left

Modification history