mathlib
dae47b6f - some tests on restricting scalar operations on manifolds

Commit

2 years ago

some tests on restricting scalar operations on manifolds

References

fpvandoorn/restrict_scalars

Author

fpvandoorn

fpvandoorn

Parents

Loading