Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
add_monoid_hom.map_real_smul
Modification history
2022-10-31 09:21
src/topology/instances/real_vector_space.lean
chore(analysis/complex/basic): golf some proofs (#17259) …
Deleted
add_monoid_hom.map_real_smul
View on Github →
2020-05-01 05:59
src/topology/instances/real_vector_space.lean
feat(topology/instances/real_vector_space): `E →+ F` to `E →L[ℝ] F` (#2577) …
Added
add_monoid_hom.map_real_smul
View on Github →