https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.OrderTheory.DCPOs.Examples.Fixpoints.html
UniMath.OrderTheory.DCPOs.Examples.Fixpoints
examplesfixpoints
https://arxiv.org/abs/2010.08661
[2010.08661] Generalized Intersection Algorithms with Fixpoints for Image Decomposition Learning
Abstract page for arXiv paper 2010.08661: Generalized Intersection Algorithms with Fixpoints for Image Decomposition Learning
generalizedintersectionalgorithms