Aristotele è ora su @leanprover 4.28 Buona vibrazione nella dimostrazione!