Skip to content

Commit

Permalink
Initial mathport of leanprover-community/mathlib3#16040
Browse files Browse the repository at this point in the history
  • Loading branch information
@utensil
utensil committed Dec 16, 2023
1 parent 4160b2a commit 95537d8
Showing 1 changed file with 494 additions and 0 deletions.
Loading

0 comments on commit 95537d8

Please sign in to comment.