Add animation of inverse bialgebra #352
Labels
Category: Proof mode
Issues and enhancements related to Proof mode
Priority: Medium
Type: enhancement
New feature or request
This can be done by playing the animation for bialgebra in the reverse order
The text was updated successfully, but these errors were encountered: