summaryrefslogtreecommitdiff
path: root/library/topology/basis.tex
AgeCommit message (Expand)Author
2024-05-28Merge branch 'main' into mainSimon-Kor
2024-05-28unexpected behavior of vampireSimon-Kor
2024-05-28Update `inters_in_genopens`adelon
2024-05-28Merge branch 'main' into mainSimon-Kor
2024-05-28proofing some lammes about topological basisSimon-Kor
2024-05-22Update label for `genopens`adelon
2024-05-21Allow line breaks via `\textbox`, handle `\left`/`\right`adelon
2024-05-16Fix missing `\text`adelon
2024-05-14Update basis.texadelon
2024-02-10Initial commitadelon