Theorem Ordnode.splitMax_eq

Modification history