Theorem flip_innerₗ

Modification history