Issue #259: A_K/K is compact if A_Q/Q is compact#310

Open

smmercuri wants to merge 5 commits intoImperialCollegeLondon:mainfrom smmercuri:main

+251-5

Commits on Dec 2, 2024

Add ContinuousAlgEquiv
smmercuri
committed

Commits on Jan 6, 2025

Merge branch 'main' of https://github.com/smmercuri/FLT
smmercuri
committed

Commits on Jan 11, 2025

Issue ImperialCollegeLondon#259 : Proof that A_K/K is compact, assuming that A_Q/Q is compact
smmercuri
committed
Issue ImperialCollegeLondon#259 : Proof that A_K/K is compact, assuming that A_Q/Q is compact
smmercuri
committed
Merge branch 'main' into main
smmercuri
authored