BillyMiao
Results
1
comments of
BillyMiao
Note that the proofs of `mem_lipschitz_conj_act_le` and `mem_lipschitz_involute_le` are blocked by some PRs.