Theorem Module.finite_dual_iff

Modification history