Theorem Set.IsWF.le_min_iff

Modification history