mathlib
1cf0de66 - fixed stuff, changed names and added docstrings

Commit

3 years ago

fixed stuff, changed names and added docstrings

References

#18289 - feat(linear_algebra/invariant_submodule): invariant submodules

Author

themathqueen

themathqueen

Parents

Loading