afef-ellouz documents

A constructive comparison of the rings and and application to the Lequain–Simis Induction Theorem
Documents A constructive comparison of the rings and and application to the Lequain–Simis Induction Theorem