Theorem Set.isCompl_range_some_none

Modification history