Remove `:>>` subclass instance declarations

There are not documented in https://coq.inria.fr/refman/addendum/type-classes.html?highlight=class#coq:cmd.class, and they don't have any advantage, so it's better to stop using them.

added 1 commit

• d9b128a7 - Remove `:>>` subclass instance declarations

Compare with previous version

enabled an automatic merge when the pipeline for d9b128a7 succeeds

mentioned in commit 37e95a04

merged