Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
elliptic_curve.coe_inv_base_change_Δ'
Modification history
2022-12-19 16:43
src/algebraic_geometry/elliptic_curve/weierstrass.lean
chore(algebraic_geometry/elliptic_curve/weierstrass): add disclaimer for coordinate_ring irreducibility (#17977) …
Added
elliptic_curve.coe_inv_base_change_Δ'
View on Github →