Efficient congruencing: inductive application of linearity in Henselian fields

Date: 2021-05-31

Time: 15:00 - 16:00