Skip to main content
URSS Showcase
Search
Browse Items
Browse Collections
About
Browse Items
Browse Collections
About
Browse Items (1 total)
Browse All
Browse by Tag
Search Items
Tags: Dedekind's theorem
Sort by:
Title
Creator
Date Added
Proving Dedekind's Theorem in Lean
Presentation at undergraduate conference.
Tags:
Dedekind's theorem
,
Mathematics
,
Proof
Output Formats
atom
,
dcmes-xml
,
json
,
omeka-xml
,
rss2