Skip to content

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

Merged
strub merged 1 commit into
mainfrom
fix-theories-in-section
Jun 23, 2026
Merged

After generalization of theories, remember work obtained by the theory#1052
strub merged 1 commit into
mainfrom
fix-theories-in-section

During generalization of theories, remember work obtained by the theory

2d50f7a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-commit-count
succeeded Jun 22, 2026 in 4s