mathlib
e378bc77 - The class number is one iff the ring of integers is a PID

Commit

4 years ago

The class number is one iff the ring of integers is a PID

References

class-number-example

Author

Vierkantor

Vierkantor

Parents

Loading