Ch03.2 : Améliorer la démonstration de A r.e ssi a =dom(f) avec f calculable #20

Closed Yves-Deville closed 6 years ago