mathlib3
7e882f18 - Proved `cof_cof`

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

Proved `cof_cof`

References

cofinality_refactor

Author

vihdzp

vihdzp

Parents

FAQ Terms Privacy Refunds Impressum

Loading