Theorem Set.IsWF.mono

Modification history