Efficient congruencing: inductive application of linearity in Henselian fields

Date: 2021-05-31

Time: 15:00 - 16:00

Zoom link: https://kva-se.zoom.us/j/69553153914