This is an unofficial reimagining of the Archive of Formal Proofs
Transitive closure according to Roy-Floyd-Warshallby Makarius Wenzel