Explicit and canonical Dress induction.

From MaRDI portal
Publication:813320