Lean Mathlib

Posted on August 2, 2019
Tags: lean

journal in exploring mathlib

1 vector space aka module

A module is a generalization of vector spaces to a scalar semiring

2 Subspace aka submodule

3 Tropical algebra