Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-13 11:08 4bb29abb

View on Github →

doc(algebra/group/to_additive): add doc strings and tactic doc entry (#3055)

Estimated changes

modified structure to_additive.value_type