Theorem StarRingEquiv.ofBijective_apply

Modification history