Theorem Function.Semiconj₂.isAssociative_right

Modification history