lean/keywords/assert (wo)

Term discussion: lean/keywords/assert in locale wo

Read the docs for this term →