Theorem bihimp_right_involutive

Modification history