Theorem Set.inter_assoc

Modification history