Halmos ∎
a Inyandiko Kwinjira

The Halmos community

ku.

Explore posts with proofs accepted by the Lean kernel.

Ibimenyetso

0 Inyandiko

  1. in iyi Igihe Urutonde.

    Gicurasi Birenzeho Kuri in i.

    Byose Igihe

i.

in Kuri Kwandika, Kubika, na Gukurikira i.

Aderesi · Ijambobanga...

A Izina ry' ukoresha na Ijambobanga Kuri Kubona.

Ibitekerezo

Cyangwa. & Ubutumwa.

Thanks, we got it. If you left an email we'll reply.