Theorem IsLUB.frequently_mem

Modification history