Equality vs. Definition

• Equality vs. Definition #Card
  • We distinguish between the symbol of equality/equation ($=$) and the symbol of definition ($:=$).

Back

We distinguish between the symbol of equality/equation ($=$) and the symbol of definition ($:=$).

Lean

メタ表記（= は命題的等号、:= は定義）。Lean では def/:= と =/Eq に対応。