Def Subtype.mul_inv_iff_mul_inv

Modification history

2025-08-27 23:00
MathlibTest/toAdditive.lean
feat(to_additive): `(dont_translate := ...)` option (#28637) …
Added Subtype.mul_inv_iff_mul_invView on Github →