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: Oct 31 2026 at 23:03 UTC