Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
orientation.area_form_le
Modification history
2022-11-17 13:13
src/analysis/inner_product_space/two_dim.lean
refactor(analysis): change the symbol for norm to align with the unicode spec (#17575) …
Modified
orientation.area_form_le
View on Github →
2022-10-13 20:27
src/analysis/inner_product_space/two_dim.lean
feat(analysis/inner_product_space/two_dim): new file (#16928) …
Added
orientation.area_form_le
View on Github →