Theorem eVariationOn.nonempty_monotone_mem

Modification history