Content deleted Content added
m tidy up |
mNo edit summary |
||
Line 5:
then the least-fixed point (lfp) of ''f'' is
:<math>\cup_{n\in\mathbb{
[[Category:Order theory]]
|
m tidy up |
mNo edit summary |
||
Line 5:
then the least-fixed point (lfp) of ''f'' is
:<math>\cup_{n\in\mathbb{
[[Category:Order theory]]
|