Bongjun Jang (Jul 09 2025 at 01:50): Bongjun Jang (Jul 09 2025 at 01:50):Just tested that it checks if m is a negation of n, not shadowing the previous m. Thanks for the replies.
Notification Bot (Jul 09 2025 at 01:50):Bongjun Jang has marked this topic as resolved.
Last updated: Sep 20 2026 at 18:08 UTC