Theorem bihimp_right_surjective

Modification history