Finiteness of the ideal class group
ID: finiteness-of-the-ideal-class-group
Bounded-norm representatives prove class-group finiteness because only finitely many integral ideals have norm at most a fixed constant.
New to topics? Read the docs here!