Zulip Chat Archive

Stream: PR reviews

Topic: could someone please take a look at mathlib4 PR #28175

yulia wang (Sep 04 2025 at 12:29):

Hi all — could someone please take a look at mathlib4 PR #28175:

https://github.com/leanprover-community/mathlib4/pull/28175
Add Exterior angle theorem

Notification Bot (Sep 09 2025 at 11:55):

This topic was moved here from #Is there code for X? > could someone please take a look at mathlib4 PR #28175 by Kim Morrison.

Last updated: Dec 20 2025 at 21:32 UTC