Template:Fusion systems facts to check against
FACTS TO CHECK AGAINST FOR FUSION SYSTEMS:
For an abelian group of prime power order: identity functor controls strong fusion for saturated fusion system on abelian group|classification of saturated fusion systems on abelian group of prime power order