Mathlib v3 is deprecated. Go to Mathlib v4

Def id_ring

Modification history

2019-10-01 18:48
test/delta_instance.lean
feat(tactic/delta_instance): handle parameters and use in library (#1483) …
Added id_ringView on Github →