lean/keywords/Bool (fi)

Term discussion: lean/keywords/Bool in locale fi

Read the docs for this term →