Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-18 09:08 a46e8f7a

View on Github →

cleanup(ring_theory/principal_ideal_domain): restructure

Estimated changes