Theorem Set.inter_union_distrib_left

Modification history