Theorem Set.inter_def

Modification history