Theorem Set.IsWF.min_le_min_of_subset

Modification history