Commit 2025-12-17 21:56 419405aa

View on Github →

chore(Topology): fix whitespace (#32963) Found by extending the commandStart linter to proof bodies.

Estimated changes

modified theorem ContinuousAlgHom.coe_id'
modified theorem ContinuousAlgHom.coe_id
modified theorem ContinuousAlgHom.coe_inj
modified theorem summable_op
modified theorem multipliable_inv_iff
modified theorem hasSum_mul_left_iff
modified theorem summable_mul_right_iff