9 ай бұрынLean Together 2024: Ashvni Narayanan, Formalization of p-adic L-functions Рет қаралды 134leanprover community 2 0 Жүктеу
Пікірлер: 1