Commit 2024-08-19 17:32 53c8ce8a
View on Github →feat: Kleene's fixed point theorem (#13075) Add the fixed point theorem for (omega) complete partial orders and Kleene's fixed point theorem for complete lattices.
feat: Kleene's fixed point theorem (#13075) Add the fixed point theorem for (omega) complete partial orders and Kleene's fixed point theorem for complete lattices.