Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-12 08:46 f7fe7dd0

View on Github →

refactor(ring_theory/free_comm_ring): don't use is_ring_hom (#13352)

Estimated changes

deleted def free_ring.of'