Theorem Equiv.bijective_comp

Modification history