Theorem Ordset.pos_size_of_mem

Modification history