Theorem TensorProduct.VanishesTrivially.of_fintype

Modification history

2025-01-10 18:59

Mathlib/LinearAlgebra/TensorProduct/Vanishing.lean

chore(TensorProduct): universe polymorphism in EquationalCriterion (#20452) …

Added TensorProduct.VanishesTrivially.of_fintype View on Github →