Theorem Set.IsWF.min_union

Modification history