Theorem topDualPairing_apply

Modification history