Project Page
Index
Table of Contents
Friendship.matrix_lemmas
Friendship.adj2_matrix
Friendship.square_char_poly
Friendship.bigops
Friendship.divisibility
Friendship.combinatorics
Friendship.matrix_casts
Friendship.statement_reduction
Friendship.friendship_theorem