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: Dec 20 2023 at 11:08 UTC