User contributions for 197.234.164.85
Jump to navigation
Jump to search
29 October 2018
- 00:2000:20, 29 October 2018 diff hist +9,322 N Modal companion →Blok–Esakia isomorphism: Maksimova and Rybakov only proved partial completeness for τ and σ current