Theorem bihimp_bihimp_cancel_right

Modification history