mathlib3
d7992b79 - Merge branch 'lean-3.4.2' into is-integrally-closed

Commit

6 years ago

Merge branch 'lean-3.4.2' into is-integrally-closed

Author

jcommelin

jcommelin

Parents

Loading