Move operations to compile in `ModulePresentationsForCAP`#1261

Merged

zickgraf merged 1 commit intohomalg-project:masterfrom

TKuh:compile_eq

Feb 27, 2023

Commits on Feb 27, 2023

Move operations to compile

Tom Kuhmichel
authored and
zickgraf
committed