proof letac i monoidmbegivenanddenetherelationonitby 17 sincemisidempotent published presentations and documents on DocSlides.