Theorem Equiv.refl_toPartialEquiv

Modification history