Zulip Chat Archive
Stream: condensed mathematics
Topic: LTE is in mathlib
Yaël Dillies (Sep 29 2022 at 16:06):
LTE just hit mathlib! #8915 :stuck_out_tongue_closed_eyes:
Adam Topaz (Sep 29 2022 at 16:11):
?
Filippo A. E. Nuccio (Sep 29 2022 at 16:22):
Lifting
The
Exponent
Adam Topaz (Sep 29 2022 at 16:24):
:expressionless:
Last updated: May 02 2025 at 03:31 UTC