Theorem Finset.inf_set_eq_interᵢ

Modification history