Theorem Finset.exists_intermediate_set

Modification history