Theorem Equiv.comp_bijective

Modification history