Theorem infinite_range_add_nsmul_iff

Modification history

2024-08-10 20:14

Mathlib/Algebra/Module/Torsion.lean

feat (LinearAlgebra/RootSystem) : infinitely many roots when two are parallel (#15582) …

Added infinite_range_add_nsmul_iff View on Github →