Skip to content

Pow/NNReal.lean: deprecated one_div in favor of inv. #105901

Pow/NNReal.lean: deprecated one_div in favor of inv.

Pow/NNReal.lean: deprecated one_div in favor of inv. #105901

Annotations

1 error

This job failed