fsequality-inequality.fs 1.1 KB