GitHub - UofSC-Fall-2022-Math-300-H01/homework11: Pen-and-paper and Lean proofs involving relations

Homework 11

Provide pen-and-paper solutions and Lean solutions to two problems involving relations.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.devcontainer		.devcontainer
Functions		Functions
Relations		Relations
Sets		Sets
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
Hw11.lean		Hw11.lean
README.md		README.md
lakefile.lean		lakefile.lean
main.pdf		main.pdf
main.tex		main.tex