Theorem Module.bijective_dual_eval

Modification history