Theorem Set.directed_on_iUnion

Modification history