María Inés de Frutos-Fernández: Local fields in Lean External Video-URL https://youtu.be/syQZWKIFHyg Preview-Image