Zulip Chat Archive
Stream: mathlib4
Topic: BitVec.xor_cast
Wrenna Robson (Jul 31 2024 at 07:59):
BitVec.xor_cast is the wrong theorem - it is a duplicate of BitVec.and_cast currently.
Kim Morrison (Jul 31 2024 at 11:46):
This was fixed a while ago.
Kim Morrison (Jul 31 2024 at 11:46):
(Will be available in Mathlib in the next few days.)
Wrenna Robson (Jul 31 2024 at 11:47):
Aha, thank you :)
Last updated: May 02 2025 at 03:31 UTC