Zulip Chat Archive
Stream: PR reviews
Topic: Positivity extensions
Yaël Dillies (Feb 29 2024 at 09:14):
Could I interest people in reviewing a couple of positivity extensions?
Yaël Dillies (Feb 29 2024 at 09:14):
- #9365 for docs#Finset.prod, depends on the easy #10875
Yaël Dillies (Feb 29 2024 at 09:14):
- #9528 for the coercion
ℝ → ℂ
Yaël Dillies (Feb 29 2024 at 09:14):
Yaël Dillies (Feb 29 2024 at 09:14):
Last updated: Feb 28 2026 at 14:05 UTC