Commit 2023-01-01 18:42 25a13655

View on Github →

feat port: Order.Heyting.Regular (#1269) Only non-trivial things here were introducing val and prop

Estimated changes