Skip to content

Commit

Permalink
edited Ring_ZF_2 and Ring_ZF_3 for inclusion in isarmathlib.org
Browse files Browse the repository at this point in the history
  • Loading branch information
@SKolodynski
SKolodynski committed Dec 31, 2023
1 parent 8237f58 commit caa0802
Show file tree
Hide file tree
Showing 5 changed files with 896 additions and 919 deletions.
Loading

0 comments on commit caa0802

Please sign in to comment.