Theorem slashInvariantForm_ext

Modification history