Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-25 14:56 14cff9ac

View on Github →

chore(algebra/group/pi): add pi.has_div (#4776) Motivated by #4646

Estimated changes

added theorem pi.div_apply