Theorem Ordnode.Bounded.trans_right

Modification history