Skip to content

allow specifying index type for CachedExtensionHomomorphism#65

Merged
kalmarek merged 2 commits intomasterfrom mk/fix_chached_ext_index_typeNov 15, 2023

Commits

Commits on Nov 13, 2023

Commits on Nov 15, 2023