Formalization of local fields, and eventually LCFT
/learn @mariainesdff/LocalClassFieldTheory
Quality Score
Category
Supported Platforms
mariainesdff
View profile
Languages
Security Score
Audited on Mar 10, 2026
