Theorem inv_pos
Modification history
2020-08-10 19:28
src/algebra/ordered_field.lean
chore(algebra/ordered_field): cleanup (#3723) …
Modified inv_posView on Github →2020-03-25 03:10
src/algebra/ordered_field.lean
chore(algebra/ordered_field): merge `inv_pos` / `zero_lt_inv` with `inv_pos'` / `inv_neg` (#2226) …
Modified inv_posView on Github →2018-01-14 21:59
algebra/field.lean
feat(algebra/field): more division lemmas
Modified inv_posView on Github →2017-09-21 13:22
algebra/field.lean
feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable
Modified inv_posView on Github →2017-09-21 10:33
algebra/field.lean
Merge branch 'master' of https://github.com/leanprover/mathlib
Modified inv_posView on Github →2017-09-20 20:02
algebra/field.lean
feat(topology/outer_measure): add outer measures and tools for Caratheodorys extension method
Modified inv_posView on Github →