Theorem Ordnode.size_nil

Modification history