Coqの中置演算子とその使用例

中置演算子の定義: Notationコマンドを使用して、中置演算子の記法を定義します。例えば、<<という中置演算子を定義する場合、次のようにします。>>More