Theorem Set.Intersecting.is_upper_set'

Modification history