Theorem Equiv.vanishesTrivially_comp

Modification history

2025-01-10 18:59

Mathlib/LinearAlgebra/TensorProduct/Vanishing.lean

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

Added Equiv.vanishesTrivially_comp View on Github →