Avatar
omochimetaru 8/9/2017 6:02 AM
(forall x | 2 <= x, x < 2 ) (edited)