Skip to content

Commit

Permalink
Delete GroupoidModel/Groupoids.lean
Browse files Browse the repository at this point in the history
  • Loading branch information
@SpencerWoolfson
SpencerWoolfson authored Nov 4, 2024
1 parent 341e9fe commit 61e2938
Showing 1 changed file with 0 additions and 1,143 deletions.
Loading

0 comments on commit 61e2938

Please sign in to comment.