Theorem Module.FinitePresentation.exists_fin

Modification history

2025-01-10 18:59
Mathlib/Algebra/Module/FinitePresentation.lean
chore(TensorProduct): universe polymorphism in EquationalCriterion (#20452) …
Added Module.FinitePresentation.exists_finView on Github →