Skip to content

¬∃x. ¬y => ∀x. y#8205

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:patch-1
May 4, 2020
Merged

¬∃x. ¬y => ∀x. y#8205
bors merged 1 commit intorust-lang:masterfrom
lcnr:patch-1

Commits

Commits on May 4, 2020