Example Guide

日本語

Guides lead a user through a specific task they want to accomplish, often with a sequence of steps. Writing a good guide requires thinking about what your users are trying to do.

Further reading

• Read about how-to guides in the Diátaxis framework

$$\frac{-b \pm \sqrt{b^2 - 4ac}}{2a}$$

def isZeroDivisor {A : Type} [Ring A] (a : A) : Prop :=
  -- ∃ b ∈ A \ {0}, a * b = 0
  ∃ b : A, b ≠ 0 ∧ a * b = 0