Theorem NumberField.mixedEmbedding.fundamentalCone.expMapBasis_closure_subset_compactSet

Modification history