Unclear and dependency issue
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.7s75b6.-gfycu5.skg5na%7Eac15e9fe
The issue as described by the user:
I doubt students will understand this case. Also the discharge notation is only introduced in the next slide.
The text highlighted while reporting this issue:
(𝛽𝑋
𝐀)=𝛽𝑋
𝜎—𝑋(𝐀).
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/smglom/logic/-/blob/main/source/mod/substitution-application.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=smglom/logic&filepath=mod/substitution-application.en.xhtml&bindings=0_2_hotk4Oomm9ui -
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/pl1/slides/substitutions.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=pl1/slides/substitutions.en.xhtml&bindings=0_1_4dbWCWHGe5c -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/substitutions-alpha-implicit.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/substitutions-alpha-implicit.en.xhtml&bindings=0_1_451SRefbQo -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/fol-alpha-implicit.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/fol-alpha-implicit.en.xhtml&bindings=0_0_3PsI9KBK -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/pl1.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/pl1.en.xhtml&bindings=0_0_3I2CTWI -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml