Lean Universal Algebra

formal foundations for informal mathematics research

Reading time: less than a minute (0 words).