isomorphism

0ısı

1cevap

Sınırları besleyen sınırlar ve tabiatlar arasında izomorfizm kurmak?

İdriste, Fin n ve (x ** So (x < n)) arasında bir izomorfizm kurabilir misiniz? (Ben aslında Idris'u bilmiyorum, bu yüzden bu tipler geçerli olmayabilir. Genel fikir, n'dan daha az bir yapım yapılacağı