Skip to content

Update Field.lean

5d01f78
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Topology/Algebra/InfiniteSum): use NormMulClass #28756

Update Field.lean
5d01f78
Select commit
Loading
Failed to load commit list.