Split equality fixed-point problem

Showing the single result