Mu-Calculus : result

Our result for the binome : Pierrick Couderc & Basil Duvernoy