Zulip Chat Archive
Stream: condensed mathematics
Topic: Projective replacements
Adam Topaz (Feb 23 2022 at 17:23):
@Andrew Yang Amazing! :tada:
https://github.com/leanprover-community/lean-liquid/blob/15e07a8b417e0d843adb86e7f5dbdc717cae3c43/src/for_mathlib/projective_replacement.lean#L743
Riccardo Brasca (Feb 23 2022 at 17:33):
Wow!!
Last updated: Dec 20 2023 at 11:08 UTC