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: Dec 20 2023 at 11:08 UTC
!4#3232 help me fix the 6 remaining errors in this file, it's really late here in Singapore
Last updated: Dec 20 2023 at 11:08 UTC