Theorem Finset.inf'_bunionᵢ

Modification history