Theorem Set.inter_self

Modification history