Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-12 08:46
333e4be6
View on Github →
feat(algebra/group/basic|topology/connected): add two lemmas (
#13345
)
from the sphere eversion project
Estimated changes
Modified
src/algebra/group/basic.lean
added
theorem
mul_div_left_comm
Modified
src/topology/connected.lean
added
theorem
is_connected_univ