Theorem Set.IsWf.min_le_min_of_subset

Modification history