Commit 2023-12-27 08:00 df4f6559

View on Github →

feat: Finite supremum over a product (#9223) From LeanCamCombi

Estimated changes