{-# LANGUAGE TypeOperators #-}
module Htaut.Theorem.Elementary where

import Htaut.Proposition
import Htaut.Proving