Theorem dist_vadd_cancel_left
Modification history
2023-01-31 21:08
src/analysis/normed/group/add_torsor.lean
feat(topology/metric_space/isometric_smul): new file (#18130) …
Modified dist_vadd_cancel_leftView on Github →2022-02-14 07:20
src/analysis/normed/group/add_torsor.lean
chore(analysis): move some code (#12008) …
Modified dist_vadd_cancel_leftView on Github →