Theorem Finset.isCompact_bunionᵢ

Modification history