Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_one

Modification history

2021-06-24 13:55

src/topology/algebra/monoid.lean

chore(linear_algebra): switch to named constructors for linear_map (#8059) …

Added continuous_one View on Github →