Theorem Set.empty_inter

Modification history