CARREGANDO O RADAR…
Completeness of constructible norms | Radar arXiv · portela.dev