Theorem Basis.toDualFlip_apply

Modification history