Theorem UpperSet.le_erase

Modification history