Theorem Set.inf_eq_inter

Modification history