Zulip Chat Archive
Stream: mathlib4
Topic: PR #27443 review
Yi.Yuan (Oct 03 2025 at 09:55):
Could someone please review PR #27443? In this PR, I tagged some theorems with references to numbering from the Stacks Project, Macdonald’s book, and Stein’s book.
Last updated: Dec 20 2025 at 21:32 UTC