Mathlib Changelog
v4
Changelog
About
Github
Theorem
star_mul_self_add_self_mul_star
Modification history
2024-02-09 09:06
Mathlib/Data/Complex/Module.lean
feat: add `star_mul_self_add_self_mul_star` (#10365) …
Added
star_mul_self_add_self_mul_star
View on Github →