Theorem ModelWithCorners.toPartialEquiv_coe

Modification history