Theorem ModelWithCorners.continuous_symm

Modification history