Commit 2022-09-05 16:20 8ac7e3ba
View on Github →feat(topology/instances/nnreal): add nnreal.pow_order_iso
(#16344)
Also use it to redefine nnreal.sqrt
.
feat(topology/instances/nnreal): add nnreal.pow_order_iso
(#16344)
Also use it to redefine nnreal.sqrt
.