Skip to content

removed axiom from class crystal that it has crystal structure, moved…#424

Merged
joergwa merged 2 commits into
mainfrom
423-fix-crystal-and-crystal-structure-axiom
May 13, 2026
Merged

removed axiom from class crystal that it has crystal structure, moved…#424
joergwa merged 2 commits into
mainfrom
423-fix-crystal-and-crystal-structure-axiom

Commits

Commits on May 13, 2026