Zulip Chat Archive
Stream: new members
Topic: conj_lie * conj_lie
Shadman Sakib (Jul 24 2021 at 21:01):
On Lean, what identity would the expression conj_lie * conj_lie simplify to? Where conj_lie is a reflection about the x-axis
Kevin Buzzard (Jul 24 2021 at 21:03):
Can you make a #mwe ?
Last updated: May 02 2025 at 03:31 UTC