mathlib3
ef04812f - 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