mathlib
9e78823c - feat(ring_theory/perfection): perfection and tilt (#5032)

Commit

5 years ago

feat(ring_theory/perfection): perfection and tilt (#5032) - [x] depends on: #5132

Author

kckennylau

Parents