chore: fix typo #441

phi16 · 2024-11-12T12:08:17Z

Description

fix typo: x and y swapped.

  x --refl--> x
  |           :
p |   filler  : p∙q
  v           v
  y ----q---> z

Lavenza · 2024-11-12T12:31:59Z

phi16 · 2024-11-12T13:48:23Z

Oh sorry, I've just found another issue in my modification... so could I push additional fixes? Much sorry...

i and j should also be swapped (for the former diagram)
the arrows should be swapped, instead of the types, to match the other filler diagrams (for the latter diagram)

plt-amy · 2024-11-12T14:30:57Z

@phi16 no worries, and thanks for the fixes 🙂

Fix typo

f4f464c

Fix typo

9aa7acd

plt-amy previously approved these changes Nov 12, 2024

View reviewed changes

plt-amy enabled auto-merge (squash) November 12, 2024 13:36

Improve typo fixes

b99a0af

auto-merge was automatically disabled November 12, 2024 13:53
Head branch was pushed to by a user without write access

phi16 dismissed plt-amy’s stale review via b99a0af November 12, 2024 13:53

ncfavier approved these changes Nov 12, 2024

View reviewed changes

ncfavier merged commit 2e1684b into the1lab:main Nov 12, 2024
4 checks passed