"Note" "הערה"
"Problem" "בעיה"
"Proof" "הוכחה"
- "Property" "Property"
+ "Property" "תכונה"
"Proposition" "הצעה"
"Question" "שאלה"
"Remark" "הערה"
"Theorem" "Twierdzenie"
End
-Translation pt
+Translation pt_PT
"Acknowledgement" "Agradecimento"
"Algorithm" "Algoritmo"
"Assumption" "Suposição"