{{data.lectureName}}
{{chapter.number}} {{chapter.name}}
{{subchapter.number}} {{subchapter.name}}
{{subchapter.number}}.{{$index+1}}
{{theorem.type}} {{theorem.number}}
({{theorem.name}})
:
{{theorem.summary}}
{{theorem.naturalness}}
No entries yet