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
feat port: Order.Heyting.Regular (#1269)
Only non-trivial things here were introducing val
and prop