Theorem PGame.fuzzy_of_equiv_of_fuzzy

Modification history