sage
00ae5f4b - Merge branch 'develop' into refresh_weyl_group

Commit

2 years ago

Merge branch 'develop' into refresh_weyl_group

References

#35730 - little refreshment of code in Weyl groups

Author

fchapoton

fchapoton

Parents

Loading