There we go! - SemanticDiff

Commit

4 years ago

There we go!

References

#11461 - feat(set_theory/ordinal/{arithmetic, fixed_point}): Lemmas about range of `nfp` and `deriv`

Author

vihdzp

vihdzp

Parents

Loading