Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-07 14:37 d9370e03

View on Github →

fead(data/support): add support_smul (#6569)

  • add smul_ne_zero;
  • rename support_smul_subset to support_smul_subset_right;
  • add support_smul_subset_left and support_smul.

Estimated changes

added theorem smul_ne_zero
added theorem function.support_smul