mathlib3
f69e8f31 - feat(data/finite/defs): add `ulift.infinite`/`plift.infinite` (#17655)

Commit

3 years ago

feat(data/finite/defs): add `ulift.infinite`/`plift.infinite` (#17655)

Author

urkud

urkud

Parents

Loading