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: Feb 24 2026 at 07:22 UTC