Theorem Set.IsWf.min_mem

Modification history