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: Dec 06 2025 at 06:05 UTC