Commit 2023-12-20 14:02 49ee3b27
View on Github →refactor(FDeriv): use structure (#8907)
This way we can easily change the definition so that it works for topological vector spaces without generalizing any of the theorems right away.
refactor(FDeriv): use structure (#8907)
This way we can easily change the definition so that it works for topological vector spaces without generalizing any of the theorems right away.