Script File

certificate.at

Source

atlas-scripts/certificate.at (28 lines)

Definitions

2

Loads

• <basic.at
• <K_types.at { for |int_part@KTypePol|, |s_part@KTypePol| }
• <hermitian.at

Loaded by

none of the other all.at files

Definitions in source order

Generated from atlas-scripts at commit 7e1b958 (2026-09-17).