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

During generalization of theories, remember work obtained by the theory

2f0762b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 18, 2026 in 6m 58s