Commit 2019-03-17 09:07 e8bdc7fc
View on Github →feat(order/filter/filter_product): build hyperreals (#801) Construction of filter products, ultraproducts, some instances, hyperreal numbers.
feat(order/filter/filter_product): build hyperreals (#801) Construction of filter products, ultraproducts, some instances, hyperreal numbers.