Discussion on question by Magemathician: Is pulling out existential quantifier from an implication constructively valid?
Discussion on question by Magemathici…
Imported from a comment discussion on https://math.stackexchange.com/questions/4997637/is-pulling-out-existential-quantifier-from-an-implication-constructively-valid
102d ago – Naïm Favier
2
export all events for this room
No feeds
Currently no feeds are being posted into this room.