lambda1@tg => YSITD: And then used negation against the universal quantifier #5e6609c02efe4b0369681371

lambda1@tg says to YSITD

And then used negation against the universal quantifier

at Mon, Mar 9, 2020 5:17 PM