Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-11 13:26 a4211857

View on Github →

feat(algebra/periodic): more periodicity lemmas (#7853)

Estimated changes

Modified src/algebra/periodic.lean

added theorem function.antiperiodic.sub_eq'

added theorem function.periodic.gsmul_sub_eq

added theorem function.periodic.int_mul_sub_eq

added theorem function.periodic.nat_mul_sub_eq

added theorem function.periodic.nsmul_sub_eq

added theorem function.periodic.sub_eq'