11ısı
1cevap
İdris'te, serbest teoremleri, örn. forall t türünün tek (toplam) işlevi. t -> t 'id' nedir?