Theorem Equidecomp.symm_involutive

Modification history

2025-02-10 05:14
Mathlib/Algebra/Group/Action/Equidecomp.lean
feat: more `symm_bijective`s (#21435) …
Added Equidecomp.symm_involutiveView on Github →