Zulip Chat Archive
Stream: mathlib4
Topic: !4#3232
Jeremy Tan (Apr 02 2023 at 18:55):
!4#3232 help me fix the 6 remaining errors in this file, it's really late here in Singapore
Last updated: May 02 2025 at 03:31 UTC
!4#3232 help me fix the 6 remaining errors in this file, it's really late here in Singapore
Last updated: May 02 2025 at 03:31 UTC