Theorem Set.inter_distrib_left

Modification history