notes-on-realizability icon indicating copy to clipboard operation
notes-on-realizability copied to clipboard
verified publisher icon andrejbauer

Mistake in exercise 3.2.8

Open ncfavier opened this issue 2 years ago • 0 comments

The maps are going the wrong way: we want Γ ⊣ ∇, not ∇ ⊣ Γ.

ncfavier avatar Dec 02 '23 12:12 ncfavier