La comunità Halmos
Prove su cui puoi basarti.
Esplora i post con le prove accettate dal Lean kernel.
Prove verificate
0 posti-
Nessun post in questo intervallo di tempo ancora.
Potrebbero esserci altre cose da scoprire nell'archivio.
Esplora tutto il tempo