Homotopy Type Theory locally Heyting-algebraic 2-poset > history (history)

Redirected from "degeneration conjecture".
Note: degeneration of Hodge to de Rham spectral sequence and degeneration of Hodge to de Rham spectral sequence both redirect for "degeneration conjecture".

June 9, 2022

June 7, 2022

April 20, 2022