Theorem Equiv.optionCongr_injective

Modification history