Skip to content

Commit

Permalink
prove many things about form_perm, including is_cycle
Browse files Browse the repository at this point in the history
  • Loading branch information
@pechersky
pechersky committed Apr 12, 2021
1 parent f140c62 commit e7ffca5
Showing 1 changed file with 593 additions and 103 deletions.

0 comments on commit e7ffca5

Please sign in to comment.