[zozbot234]

These days it's easy to just look for the details to any proof on mathlib. Of course a computer checked proof is not always super intuitive for a human, but most of the time it does work quite well.