Theorem List.infix_rfl

Modification history