Theorem IsUpperSet.div_left

Modification history