Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

feat(linear_algebra/tensor_product): tensor product of finite modules is finite #13705

Closed
wants to merge 3 commits into from

Update src/linear_algebra/tensor_product.lean

9b5892e
Select commit
Failed to load commit list.
Closed

feat(linear_algebra/tensor_product): tensor product of finite modules is finite #13705

Update src/linear_algebra/tensor_product.lean
9b5892e
Select commit
Failed to load commit list.

Workflow runs completed with no jobs