Commit 2022-03-22 14:24 52159408
View on Github →feat(order/filter/basic): filter
is a coframe
(#12872)
Provide the coframe (filter α)
instance and remove now duplicated lemmas.
feat(order/filter/basic): filter
is a coframe
(#12872)
Provide the coframe (filter α)
instance and remove now duplicated lemmas.