Mathlib Changelog
v4
Changelog
About
Github
Theorem
UpperHalfPlane.ne_int
Modification history
2026-02-04 15:37
Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean
chore(UpperHalfPlane): redefine as a structure (#34597) …
Deleted
UpperHalfPlane.ne_int
View on Github →
2024-11-15 10:19
Mathlib/Analysis/Complex/UpperHalfPlane/Basic.lean
feat(Analysis): integer complement in `ℂ` (#16542) …
Added
UpperHalfPlane.ne_int
View on Github →