2022-07-20 13:48:26+00:00 In reply to @XenaProject @XenaProject @RiccardoBrasca What are the dots? Theorems in Lean?