Theorem ModelWithCorners.toLocalEquiv_coe_symm

Modification history