Def derangements.equiv.remove_none.fiber

Modification history