Theorem modelWithCornersSelf_localEquiv

Modification history