Theorem EquivLike.apply_inv_apply

Modification history