scilib documentation

LeanChemicalTheories / dimensional_analysis.buckingham_pi

source
noncomputable def number_of_dimensionless_parameters {α : Type u_1} {n : ℕ} [fintype α] [decidable_eq α] (M : matrix (fin n) α ℚ) :
ℕ
Equations