basic): add bijective.iff_exists_unique and projections (#5995)

Commit

4 years ago

feat(logic/function/basic): add bijective.iff_exists_unique and projections (#5995)

Author

eric-wieser

Parents