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

Generated by coqdoc and improved with CoqdocJS as adapted for coq-community