Mathlib v3 is deprecated. Go to Mathlib v4

Theorem of_mul_div

Modification history

2020-12-16 15:31

src/algebra/group/type_tags.lean

chore(*): add a `div`/`sub` field to (`add_`)`group`(`_with_zero`) (#5303) …

Added of_mul_div View on Github →