Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Compare changes

Compare changes across branches, commits, tags, and more below. If you need to, you can also .
base repository: leanprover-community/mathlib3
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: normal_closure
Choose a base ref
...
head repository: leanprover-community/mathlib3
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: normal_iff
Choose a head ref
Choose different branches or forks above to discuss and review changes. Learn about pull requests

There isn’t anything to compare.

We couldn’t figure out how to compare these references, do they point to valid commits?

Example comparisons