basic): `function.update` is monotone (#18841)

Commit

2 years ago

feat(order/monotone/basic): `function.update` is monotone (#18841) and `pi.single` too

Author

YaelDillies

Parents