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: Jan 10 2026 at 20:04 UTC