Theorem Finset.is_lub_mem

Modification history