# Commit 2024-02-09 19:37 77656757

View on Github →feat: generalize `ContinuousMultilinearLinearMap.mkPiField`

to `mkPiRing`

(#9910)
This matches the generality of the non-continuous versions.
The `norm_smulRight`

lemma is the only new result.

feat: generalize `ContinuousMultilinearLinearMap.mkPiField`

to `mkPiRing`

(#9910)
This matches the generality of the non-continuous versions.
The `norm_smulRight`

lemma is the only new result.