Moebius function on locally finite posets

Stream: Is there code for X?

[Jihoon Hyun]

There is a Moebius function for natural numbers, but I don't seem to find its generalization. Is anyone working on this topic? If not, I'd like to work on it.

[Yaël Dillies]

Does docs#IncidenceAlgebra.mu satisfy your needs?

[Jihoon Hyun]

That's exactly what I wanted! Thanks @Yaël Dillies!