Zulip Chat Archive

Stream: lean4

Topic: Strange push_neg behaviour

Notification Bot (May 29 2023 at 19:46):

This topic was moved to #mathlib4 > Strange push_neg behaviour by Yury G. Kudryashov.

Last updated: May 02 2025 at 03:31 UTC