oalg-base-3.0.0.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	None
Language	Haskell2010

OAlg.Structure.Fibred.Proposition

Contents

Fibred

Description

propositions on Fibred structures.

Synopsis

prpFbr :: Fibred f => XFbr f -> Statement

Fibred

prpFbr :: Fibred f => XFbr f -> Statement Source #

validity for Fibred structures.