basic): add char_p instances for `ulift` and `mul_opposite` (#18336)

Commit

3 years ago

chore(algebra/char_p/basic): add char_p instances for `ulift` and `mul_opposite` (#18336)

Author

eric-wieser

Parents