Commit 2023-06-20 10:06 14697d4a
View on Github →fix: tidy def of fieldOfFiniteDimensional (#5288)
As suggested by Sebastian Gouezel here. Makes the term fieldOfFiniteDimensional a bit tidier (it removes let src_1 := inst_1;).
fix: tidy def of fieldOfFiniteDimensional (#5288)
As suggested by Sebastian Gouezel here. Makes the term fieldOfFiniteDimensional a bit tidier (it removes let src_1 := inst_1;).