Mathlib Changelog
v4
Changelog
About
Github
Theorem
mul_inv_iff_mul_inv
Modification history
2025-08-27 23:00
MathlibTest/toAdditive.lean
feat(to_additive): `(dont_translate := ...)` option (#28637) …
Added
mul_inv_iff_mul_inv
View on Github →