Skip to content

After generalization of theories, remember work obtained by the theory#1052

Open
oskgo wants to merge 1 commit into
mainfrom
fix-theories-in-section
Open

After generalization of theories, remember work obtained by the theory#1052
oskgo wants to merge 1 commit into
mainfrom
fix-theories-in-section

Commits

Commits on Jun 22, 2026