Theorem FdRep.forget₂_ρ

Modification history