1267 - Formalize the notion of field using mathematical functions and calculus

Formalize the notion of field using mathematical functions and calculus

Topics