Theorem Set.insert_inter_distrib

Modification history