Theorem modelWithCornersSelf_coe_symm

Modification history