math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
97 stars 21 forks source link

`HB.about` should point to `HB.howto` and conversly #353

Open CohenCyril opened 1 year ago

CohenCyril commented 1 year ago

These two commands should give pointers to one another e.g.