Theorem IsUpperSet.total

Modification history