Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-06-19 08:25 f22285c5

View on Github →

feat(algebra/pi_instances): add apply lemmas (#149)

Estimated changes

added theorem pi.add_apply
added theorem pi.inv_apply
added theorem pi.mul_apply
added theorem pi.neg_apply
added theorem pi.one_apply
added theorem pi.smul_apply
added theorem pi.zero_apply