📖 Meaning for Heyting is being prepared.
Our team is working on adding the translation. Please check back shortly.