Theorem Set.IsWF.min_mem

Modification history