module foundation.fundamental-theorem-of-identity-types where

open import foundation-core.fundamental-theorem-of-identity-types public