Theorem Finset.is_glb_mem

Modification history