Zulip Chat Archive
Stream: mathlib4
Topic: how to make a blockMatrix？TT
Notification Bot (Jul 14 2025 at 11:06):
This topic was moved to #new members > How to construct a block matrix by Eric Wieser.
Last updated: Feb 28 2026 at 14:05 UTC
This topic was moved to #new members > How to construct a block matrix by Eric Wieser.
Last updated: Feb 28 2026 at 14:05 UTC