/RamificationGroup

Formalizing Ramification Group in LEAN

Primary LanguageLean

This repository is not active