feat(*): Add surjective -> surjection - SemanticDiff

Commit

5 years ago

feat(*): Add surjective -> surjection

References

eric-wieser/injection-surjection

#5829 - feat(data/equiv/one_sided): Add bundled one-sided inverses

Author

eric-wieser

eric-wieser

Parents

Loading